#!/bin/bash

STACK_FILE="../../src/stack/tagged_stack.c"

echo "Analyzing tagged stack implementation..."
vsyncer info $STACK_FILE

echo "Optimizing tagged stack implementation..."
vsyncer optimize -A -1 $STACK_FILE

echo "Verifying optimization..."
vsyncer verify $STACK_FILE

echo "Running tagged stack benchmarks..."
cd ../../
make
./build/tests/benchmark/bench_tagged_stack 